Di erential Logic Programming
نویسندگان
چکیده
In this paper we deene a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be obtained by specializing the general operator. The semantics is based on the notion of diierential programs, logic programs annotated with declarations that establish the programs' external interfaces.
منابع مشابه
Di erential Linear Logic and Polarization
We extend Ehrhard Regnier's di erential linear logic along the lines of Laurent's polarization. We provide a denotational semantics of this new system in the well-known relational model of linear logic, extending canonically the semantics of both di erential and polarized linear logics: this justi es our choice of cut elimination rules. Then we show this polarized di erential linear logic re ne...
متن کاملNumerical Solution of fuzzy differential equations of nth-order by Adams-Bashforth method
So far, many methods have been presented to solve the rst-order di erential equations. But, not many studies have been conducted for numerical solution of high-order fuzzy di erential equations. In this research, First, the equation by reducing time, we transform the rst-order equation. Then we have applied Adams-Bashforth multi-step methods for the initial approximation of one order di erentia...
متن کاملApproximate model reduction for the di erential semantics of rule-based models
Course: M2-6: Abstract interpretation: application to verication and static analysis Note: Other internships are possible on the topic of static analysis, abstract interpretation , and applications to Systems Biology. Please contact the internship supervisor for more information.
متن کاملGeneralized convex functions and generalized di¤erentials
We study some classes of generalized convex functions, using a generalized di¤erential approach. By this we mean a set-valued mapping which stands either for a derivative, a subdi¤erential or a pseudodi¤erential in the sense of Jeyakumar and Luc. We establish some links between the corresponding classes of pseudoconvex, quasiconvex and another class of generalized convex functions we introduced...
متن کاملGeneralized convex functions and generalized differentials
We study some classes of generalized convex functions, using a generalized di¤erential approach. By this we mean a set-valued mapping which stands either for a derivative, a subdi¤erential or a pseudodi¤erential in the sense of Jeyakumar and Luc. We establish some links between the corresponding classes of pseudoconvex, quasiconvex and another class of generalized convex functions we introduced...
متن کامل